Fix 64-bit build. xc_ptrace() is still broken for x86/64 however.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Sun, 14 May 2006 19:13:14 +0000 (20:13 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Sun, 14 May 2006 19:13:14 +0000 (20:13 +0100)
Signed-off-by: Keir Fraser <keir@xensource.com>
tools/libxc/xc_ptrace.c

index d1a6525af30719d3afed03072a4047a694d39e26..b675adc641166cd999cc095e6cce2c22310f0559 100644 (file)
@@ -320,7 +320,7 @@ map_domain_va_64(
     if (l1e & 0x80)  { /* 2M pages */
         p = to_ma(cpu, (l1p + l1_table_offset(va)) << PAGE_SHIFT);
     } else { /* 4K pages */
-        l1p = to_ma(cpu, l1e[l1_table_offset(va)]);
+        //l1p = to_ma(cpu, l1e[l1_table_offset(va)]);
         l1 = xc_map_foreign_range(xc_handle, current_domid, PAGE_SIZE, perm, l1p >> PAGE_SHIFT);
         munmap(l2, PAGE_SIZE);
         if ( l1 == NULL )